Title	GILAO*: Solving Uncertainty Planning with Comparison of Generalized Intervals
Author	Jigui Sun, Shuai Lu, Minghao Yin, Shulin Cui
Citation	Vol. 6  No. 1  pp. 57~63
Keywords	uncertainty planning, comparison of generalized intervals, Markov Decision Process

Title	Propositional Extension Rule with Reduction
Author	Xia Wu, Jigui Sun, Shuai Lv, Minghao Yin
Citation	Vol. 6  No. 1  pp. 190~195
Keywords	Extension rule, theorem proving, satisfiability, reduction